pho-abs

2021-11-21

unexplained-errors

info

Used nodes: {leviathan}

summary

coverage

The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

error

error-search-critical-error

error-search-out-of-memory

error-search-out-of-time

error-success

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

evaluations_per_time

Only instances where all algorithms have a value for "evaluations_per_time" are considered. Each table entry gives the geometric mean of "evaluations_per_time" for that domain. The bottom row reports the geometric mean across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

expansions

Only instances where all algorithms have a value for "expansions" are considered. Each table entry gives the geometric mean of "expansions" for that domain. The bottom row reports the geometric mean across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

h_values

Domain-wise reports only support numeric attributes, but h_values has type list.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

initial_h_value

Only instances where all algorithms have a value for "initial_h_value" are considered. Each table entry gives the finite sum of "initial_h_value" for that domain. The bottom row reports the finite sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

memory

Only instances where all algorithms have a value for "memory" are considered. Each table entry gives the sum of "memory" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

plan_length

Only instances where all algorithms have a value for "plan_length" are considered. Each table entry gives the sum of "plan_length" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

run_dir

Domain-wise reports only support numeric attributes, but run_dir has type str.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

search_start_memory

Only instances where all algorithms have a value for "search_start_memory" are considered. Each table entry gives the sum of "search_start_memory" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

search_start_time

Only instances where all algorithms have a value for "search_start_time" are considered. Each table entry gives the sum of "search_start_time" for that domain. The bottom row reports the sum across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips

total_time

Only instances where all algorithms have a value for "total_time" are considered. Each table entry gives the geometric mean of "total_time" for that domain. The bottom row reports the geometric mean across all domains.

barman-sat11-strips

elevators-sat11-strips

floortile-sat11-strips

nomystery-sat11-strips

openstacks-sat11-strips

parcprinter-sat11-strips

parking-sat11-strips

pegsol-sat11-strips

scanalyzer-sat11-strips

sokoban-sat11-strips

tidybot-sat11-strips

transport-sat11-strips

visitall-sat11-strips

woodworking-sat11-strips